extern int abs(int x);